type IsUnion<T, U extends T = T> = [T] extends [never]
  ? false
  : T extends U
  ? [U] extends [T]
    ? false
    : true
  : false;

type Sss11 = IsUnion<never>;
